home *** CD-ROM | disk | FTP | other *** search
- package horst;
-
- import java.awt.Font;
- import java.awt.print.PageFormat;
- import java.awt.print.PrinterJob;
- import java.net.URL;
- import java.util.Vector;
- import javax.swing.JPopupMenu;
-
- public class HTMLPaneProperties {
- Vector m_linkListeners = new Vector();
- Vector m_statusListeners = new Vector();
- URL m_loadedPage;
- JPopupMenu m_popup;
- int m_lastPortWidth = -1;
- int m_lastPortHeight = -1;
- int m_marginWidth = 5;
- int m_marginHeight = 5;
- boolean m_bIsFrame;
- boolean m_bIsIFrame;
- boolean m_bUnderLineLinks = true;
- boolean m_bDisplayBackgroundImage = true;
- HTMLDocument m_frameBaseDocument;
- String m_frameName;
- FrameSetView m_framesetView;
- Element m_rootElement;
- Element m_focusElement;
- int m_fontSize = 12;
- Font m_defaultFont = new Font("Serif", 0, 14);
- Vector m_floaters = new Vector();
- HistoryManager m_history = new HistoryManager();
- int m_printingLayoutWidth = 700;
- PrintSpecs m_printSpecs = new PrintSpecs();
- PrinterJob m_printJob;
- PageFormat m_pageFormat = new PageFormat();
- }
-